A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory
نویسنده
چکیده
We prove a unique decomposition theorem for a class of ordered commutative monoids. Then, we use our theorem to establish that every weakly normed process definable in ACP with bounded communication can be expressed as the parallel composition of a multiset of weakly normed parallel prime processes in exactly one way.
منابع مشابه
Ordered categories and ordered semigroups
We use ordered categories to study semidirect decompositions of finite ordered semigroups. We obtain ordered analogues of the derived category theorem and of the delay theorem. Next we prove that the ordered analogues of semilattices and of J -trivial monoids constitute local varieties, and we derive some decomposition theorems from these results. In [10], Pin and Weil initiated a study of the ...
متن کاملOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...
متن کاملDecomposition orders another generalisation of the fundamental theorem of arithmetic
We discuss unique decomposition in partial commutative monoids. Inspired by a result from process theory, we propose the notion of decomposition order for partial commutative monoids, and prove that a partial commutative monoid has unique decomposition iff it can be endowed with a decomposition order. We apply our result to establish that the commutative monoid of weakly normed processes modulo...
متن کاملIndecomposable, Projective and Flat S-Posets
For a monoid S, a (left) S-act is a non-empty set B together with a mapping S × B → B sending (s, b) to sb such that s(tb) = (st)b and 1b = b for all s, t ∈ S and b ∈ B. Right S-acts A can also be defined, and a tensor product A⊗S B (a set) can be defined that has the customary universal property with respect to balanced maps from A×B into arbitrary sets. Over the past three decades, an extensi...
متن کاملA unique common fixed point theorem for six maps in g-metric spaces
In this paper we obtain a unique common xed point theorem for sixweakly compatible mappings in G-metric spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003